Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·5h
✏️Code Editors
Project Ire autonomously identifies malware at scale
microsoft.com·17h·
Discuss: Hacker News
🚀Indie Hacking
Universal Virus Sniffer 5.0
majorgeeks.com·19h
🔍Feed Discovery
gccrs July 2025 Monthly report
rust-gcc.github.io·23h
🦀Rust
Modernizing the IT portfolio: A primer
nordot.app·23h
💾Persistence Strategies
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·19h·
Discuss: www.blogger.com
🔒Transaction Isolation
Parallelization of cryptographic protocol analyzer Maude-NPA reduces analysis time, makes internet safer
techxplore.com·19h
📋MCP
Rapid PCB Prototyping with KiCad and a CNC Router
peterprototypes.com·23h·
Discuss: Hacker News
🔬Chip Fabrication
Schizophrenic Zip Files
blog.isec.pl·22h·
Discuss: Hacker News
🔓Hacking
Zoom Out: Distributions in Semantic Spaces
lesswrong.com·9h
📉Embeddings Optimization
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·18h·
Discuss: Hacker News
🕳LLM Vulnerabilities
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·10h·
Discuss: Hacker News
🪄Prompt Engineering
Anonymous Functions in Python
valuetown.bearblog.dev·7h
💻Programming languages
Learning About Threads: An Essential Guide for Developers
hackernoon.com·21h
⚙️Mechanical Sympathy
A rapid, simple, and economical method for the isolation of ribosomes and translational machinery for structural and functional studies
nature.com·21h
🥬Kimchi
Why Computer Science Is No Good, Redux
cacm.acm.org·15h
🌐Distributed systems
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·11h·
Discuss: Hacker News
💻Programming languages
How the Lean language brings math to coding and coding to math
amazon.science·14h·
Discuss: Hacker News
🧮SMT Solvers
Tinkering with Hobby Projects
jeffersonheard.ghost.io·18h·
Discuss: Hacker News
🔧Developer tools
Poltergeist: The Ghost That Keeps Your Builds Fresh
steipete.me·19h
🔧Developer tools